Skip to content

merge queue: embarking main (f515985) and #942 together#943

Closed
mergify[bot] wants to merge 2 commits into
mainfrom
mergify/merge-queue/267d6cec26
Closed

merge queue: embarking main (f515985) and #942 together#943
mergify[bot] wants to merge 2 commits into
mainfrom
mergify/merge-queue/267d6cec26

Conversation

@mergify

@mergify mergify Bot commented Jun 9, 2026 •
edited
Loading

Copy link
Copy Markdown
Contributor

🎉 This pull request has been checked successfully and will be merged soon. 🎉

Branch main (f515985) and #942 are embarked together for merge.

This pull request has been created by Mergify to check the mergeability of #942.
You don't need to do anything. Mergify will close this pull request automatically when it is complete.

Required conditions of queue rule dependabot for merge:

  • check-success = DCO
  • check-success = lint
  • check-success = lint_api
  • check-success = scan_ruby
  • check-success = test
  • all of [🛡 Merge Protections rule Do not merge outdated PRs]:
  • all of [🛡 Merge Protections rule Full CI must pass]:
    • check-success = DCO
    • check-success = lint
    • check-success = lint_api
    • check-success = scan_ruby
    • check-success = test
  • any of [🛡 GitHub repository ruleset rule main]:
    • check-neutral = Mergify Merge Protections
    • check-skipped = Mergify Merge Protections
    • check-success = Mergify Merge Protections

Required conditions to stay in the queue:

---
checking_base_sha: f51598506761188557b8b8ad2d73eeea62aa4662
previous_failed_batches: []
pull_requests:
  - number: 942
    scopes: []
scopes: []
...

dependabot Bot and others added 2 commits June 9, 2026 00:02
@dependabot
chore(deps): bump puma from 8.0.1 to 8.0.2
f5d93ce 
Bumps [puma](https://github.com/puma/puma) from 8.0.1 to 8.0.2.
- [Release notes](https://github.com/puma/puma/releases)
- [Changelog](https://github.com/puma/puma/blob/main/History.md)
- [Commits](puma/puma@v8.0.1...v8.0.2)

---
updated-dependencies:
- dependency-name: puma
  dependency-version: 8.0.2
  dependency-type: direct:production
...

Signed-off-by: dependabot[bot] <support@github.com>
@mergify
Merge of #942
af37adf
@mergify mergify Bot mentioned this pull request Jun 9, 2026
Merged
@mergify mergify Bot closed this Jun 9, 2026
@mergify mergify Bot deleted the mergify/merge-queue/267d6cec26 branch June 9, 2026 00:33
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

0 participants